A Partition Theorem Sh679 Partially Supported by the United States Israel Binational Science Foundation. I Would like to Thank Alice Leonhardt for the Beautiful Typing. First Typed -1-2/98; Revised Together with Proof Reading for the Journal Latest Revision -02/july/31
نویسنده
چکیده
We deal with some relatives of the Hales Jewett theorem with primitive recursive bounds. 2000 Mathematics Subject Classification. Primary 05D10, Secondary 05A99, 15A03.
منابع مشابه
A Partition Relation Using Strongly Compact Cardinals Sh761
If κ is strongly compact and λ > κ and λ is regular (or alternatively cf(λ) ≥ κ), then ` 2 ́+ → (λ+ ζ) θ holds for ζ, θ < κ. 2000 Mathematics Subject Classification. 2000 Math Subject Classification: 03E02. I would like to thank Alice Leonhardt for the beautiful typing. Research of the author was partially supported by the United States-Israel Binational Science Foundation. Publ.761. Latest Rev...
متن کاملThe Theorems of Beth and Craig in Abstract Model Theory,iii: ∆-logics and Infinitary Logics Sh113
We give a general technique on how to produce counterexamples to Beth’s definability (and weak definability) theorem. The method is then applied for various infinitary, cardinality quantifier logics and ∆-closure of such logics. I would like to thank Alice Leonhardt for the beautiful typing. AMS-Classification: 03C95, 03C20, 03E55, 03C55, 03C30. The author would like to thank the United States ...
متن کاملWhat Majority Decisions Are Possible Sh816
Suppose we are given a family of choice functions on pairs from a given finite set (with at least three elements) closed under permutations of the given set. The set is considered the set of alternatives (say candidates for an office). The question is, what are the choice functions c on pairs of this set of the following form: for some (finite) family of “voters”, each having a preference, i.e....
متن کاملThe Depth of Ultraproducts of Boolean Algebras Sh853
We show that if μ is a compact cardinal then the depth of ultraproducts of less than μ many Boolean Algebras is at most μ plus the ultraproduct of the depths of those Boolean Algebras. I would like to thank Alice Leonhardt for the beautiful typing. This research was supported by the United States-Israel Binational Science Foundation First Typed 03/Nov/14 Latest Revision 05/May/3 Typeset by AMS-...
متن کاملClassification Theory for Elementary Classes with the Dependence Property - a Modest Beginning Sh715
Our thesis is that for the family of classes of the form EC(T ), T a complete first order theory with the dependence property (which is just the negation of the independence property) there is a substantial theory which means: a substantial body of basic results for all such classes and some complimentary results for the first order theories with the independence property, as for the family of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011